<?php
 return ["\143\x6f\156\156\145\143\x74\157\x72" => "\x53\x79\x6e\x63"];
